/*****************************************************
 * jr generated file
 ****************************************************/
import java.io.*;
import edu.ucdavis.jr.*;
import edu.ucdavis.jr.jrx.*;
import java.rmi.*;
import java.io.Serializable;

public abstract class Recv_double
  extends Recv
  implements Serializable
{
    static final long serialVersionUID = 0;
    public double arg0;
    public long timestamp;
    public Recv_double(long timestamp, edu.ucdavis.jr.RemoteHandler handler, Exception thrown, double arg0)
    {
	super(timestamp, handler, thrown);
	this.arg0 = arg0;
	this.timestamp = timestamp;
    }
}
